Construction of Robot Structure Design Support System by Constraint Logic Programming.
نویسندگان
چکیده
منابع مشابه
Constraint Functional Logic Programming for Origami Construction
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which describe the geometric properties of paper folds. We developed two software components: one that provides primitives to construct, manipulate and visualize paper folds and the other that solves the systems of equations. U...
متن کاملDigital Systems Design Using Constraint Logic Programming
This paper presents an application of finite domain constraint logic programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, ...
متن کاملCrew Assignment by Constraint Logic Programming
In this paper, we deal with the crew assignment problem, which is a subproblem of the airline crew scheduling problem. The aim of the crew assignment problem is the optimal allocation of a given set of crew pairings to crew members, in a way that a set of constraints is satis ed. The optimality criterion we employ in this work requires the ight time fair distribution among all crew members. Thi...
متن کاملFailure tabled constraint logic programming by interpolation
We present a new execution strategy for constraint logic programs called Failure Tabled CLP. Similarly to Tabled CLP our strategy records certain derivations in order to prune further derivations. However, our method only learns from failed derivations. This allows us to compute interpolants rather than constraint projection for generation of reuse conditions. As a result, our technique can be ...
متن کاملHigh-Level-Synthesis by Constraint Logic Programming
Integer programming has become popular to synthesis since it allows to compute optimal solutions by efficient formal methods. The drawback of this approach to synthesis is its resticted mathematical model. We adopted the basic idea of handling the synthesis problem as a constraint satisfaction problem and focus on solving it by constraint search. We use constraint logic programming, which is mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Robotics Society of Japan
سال: 1996
ISSN: 0289-1824,1884-7145
DOI: 10.7210/jrsj.14.287